翻訳と辞書 Words near each other ・ Timebroker ・ Timebus Travel ・ TimeChase ・ TimeClock Plus ・ Timecode ・ Timecode (disambiguation) ・ Timecode (film) ・ Timecop ・ Timecop (comics) ・ Timecop (TV series) ・ Timecop (video game) ・ Timecrimes ・ TIMED ・ Timed Antagonistic Response Alethiometer ・ Timed automaton ・ Timed event system ・ Timed out ・ Timed text ・ Timed Text Markup Language ・ Timed Up and Go test ・ Timeduty ・ Timeflies ・ Timeform ・ Timeform Chase ・ TimeGate ・ Timegate ・ TimeGate Studios ・ Timegates ・ Timehop ・ Timehri Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Timed event system ： ウィキペディア英語版 Timed event system The General System has been described in () and () with the stand points to define (1) the time base, (2) the admissible input segments, (3) the system states, (4) the state trajectory with an admissible input segment, (5) the output for an given state. A Timed Event System defining the state trajectory associated with the current and event segments came from the class of General System to allows non-deterministic behaviors in it(). Since the behaviors of DEVS can be described by Timed Event System, DEVS and RTDEVS is a sub-class or an equivalent class of Timed Event System. == Timed Event Systems == A timed event system is a structure where *$\backslash ,Z$ is ''the set of events''; *$\backslash ,Q$ is ''the set of states''; *$\backslash ,Q\_0\; \backslash subseteq\; Q$ is ''the set of initial states''; *$Q\_A\; \backslash subseteq\; Q$ is ''the set of accepting states''; *$\backslash Delta\; \backslash subseteq\; Q\; \backslash times\; \backslash Omega\_\; \backslash times\; Q$ is ''the set of state trajectories'' in which $(q,\backslash omega,q\text{'})\; \backslash in\; \backslash Delta$ indicates that a state $q\; \backslash in\; Q$ can change into $q\text{'}\; \backslash in\; Q$ along with an event segment $\backslash omega\; \backslash in\; \backslash Omega\_$. If two state trajectories $(q\_1,\backslash omega\_1,q\_2)$ and $(q\_3,\; \backslash omega\_2,\; q\_4)\; \backslash in\; \backslash Delta$ are called contiguous if $q\_2\; =\; q\_3$, and two event trajectories $\backslash omega\_1$ and $\backslash omega\_2$ are contiguous. Two contiguous state trajectories $(q,\backslash omega\_1,p)$ and $(p,\backslash omega\_2,\; q\text{'})\; \backslash in\; \backslash Delta$ implies $(q,\backslash omega\_1\backslash omega\_2,q\text{'})\; \backslash in\; \backslash Delta$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Timed event system」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.